# -*- mode: snippet -*-
# name: Unset Nonrecursive Elimination Schemes
# --
Unset Nonrecursive Elimination Schemes
